Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
581	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
582	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
583	BRICS Basic Research in Computer Science BRICS RSKim et al.: Assessing the Overhead of ML Exceptions Assessing the Overhead of ML Exceptions Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-09-17 06:37:55 Functional programming Control flow Functional languages Procedural programming languages Logic in computer science Continuation-passing style Standard ML Continuation Exception handling Software engineering Computing Computer programming
584	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
585	Fuzzy Logic: BriefTowards GeneralNeed for ProductHow to Tell When a Product of Two Partially Ordered Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2011-02-18 23:00:53 Non-classical logic A1 A2 Logic Mathematics Artificial intelligence Logic in computer science Fuzzy logic
586	Political Analysis Advance Access published June 5, 2006 doi:pan/mpj019 Set Relations in Social Research: Evaluating Their Consistency and Coverage Add to Reading List Source URL: www.socsci.uci.edu Language: English - Date: 2006-06-05 12:50:42 Rough set Theoretical computer science Fuzzy set Set theory Mathematical logic Charles C. Ragin Causality Level of measurement Logic Fuzzy logic Science
587	Term Rewriting Systems SS 11 Exercise Sheet 5 (due May 25th, 2011) Prof.aa Dr. Jürgen Giesl Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2011-05-16 06:51:51 Mathematical series Logic in computer science Mathematical logic Rewriting Unification Characterizations of the exponential function Mathematics Mathematical analysis Theoretical computer science
588	Zones From infinte to finite Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 11:16:24 T1 Q Computer science Computing Temporal logic Logic in computer science Computation tree logic
589	Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-01-31 17:11:12 Model theory Formal languages Metalogic Predicate logic Functions and mappings Interpretation First-order logic Function Well-formed formula Logic Mathematics Mathematical logic
590	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering

UPDATE